How can I extract numbers from a PHP array of company names for a MySQL IN clause